1281. Term Rewriting :
پدیدآورنده : edited by Hubert Comon, Jean-Pierre Jounnaud.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Engineering & Applied Sciences.
1282. Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
پدیدآورنده : Frank Pfenning )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
4098
1283. Term rewriting and applications: 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
267
.
I555
2006
1284. Testing and tuning market trading systems :
پدیدآورنده : Timothy Masters.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : C++ (Computer program language),Computer algorithms.,Data mining.,Algorithms & data structures.,C++ (Computer program language),Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- C++,Data mining.,Finance.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
73
.
C153
1285. The Art of computer programming
پدیدآورنده : / Donald Ervin Knuth
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Electronic digital computers-- programming
رده :
QA
76
.
6
.
K64
1286. The Art of computer programming
پدیدآورنده :
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Electronic digital computer-Programming
رده :
QA
76
.
5
.
K57
1287. The Desin and analysis of parallel algorithms
پدیدآورنده : Akl, Selim G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel programming )Computer science(,، Algorithms
رده :
QA
76
.
6
.
A38
1989
1288. The Finite Volume Method in Computational Fluid Dynamics :
پدیدآورنده : by F. Moukalled, L. Mangani, M. Darwish.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Engineering.,Hydraulic engineering.,Computer science.,Engineering.,Hydraulic engineering.
رده :
TA357-359
1289. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
1290. The Macintosh bible /
پدیدآورنده : Sharon Zardetto Aker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mac OS.,Macintosh (Computer),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),Macintosh (Computer),MICROCOMPUTERS.,PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
رده :
QA76
.
8
.
M3
A4368
1998
1291. The Mathematica GuideBook for Programming
پدیدآورنده : by Michael Trott.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Computer science.
1292. The NURBS Book
پدیدآورنده : by Les Piegl, Wayne Tiller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Spline theory -- Data processing.
رده :
QA224
.
B954
1995
1293. The NURBS book /
پدیدآورنده : Les Piegl, Wayne Tiller
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-aided design,Spline theory-- Data processing,Bilgisayar-yardımcı tasarım,B-spline,conique,courbe,Dil teorisi-- Bilgi işlem,NURBS,Surface
رده :
QA224
.
P54
1997
1294. The New S Language :
پدیدآورنده : Richard A. Becker, John M. Chambers, Allan R. Wilks.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : S (Computer program language),MATHEMATICS / Applied.,MATHEMATICS / Probability & Statistics / General.,S (Computer program language)
رده :
QA76
.
73
.
S15
1295. The Turing omnibus :
پدیدآورنده : A.K. Dewdney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
رده :
QA76
.
D45
1989
1296. The Waite Group's C++ how-to /
پدیدآورنده : Jan Walter [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : C++ (Computer program language),Object-oriented programming (Computer science)
رده :
QA76
.
73
.
C153
W3115
1999
1297. The algorithm design manual /
پدیدآورنده : Steven S. Skiena.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Algorithmes.,Algorithmus,Computer,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Entwurf,Informatique.
رده :
QA76
.
9
.
A43
S55
2008
1298. The art of computer Programming
پدیدآورنده : / [by] Donald E. Knuth,Knuth
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electronic digital computers - Programming
رده :
QA
76
.
5
.
K57
1299. The art of computer programmign
پدیدآورنده : / Donald E. Knuth
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computer programming
رده :
651
.
8
K74
1973
